package sketch.specs.symbc;

import gov.nasa.jpf.symbc.Debug;

public class MyClassFloat {
	
	public void myMethod(float x, float y) {
		if(x > 0.4) {
			if(y < 0.9) {
				System.out.println("reach here x y is true");
			} else {
				System.out.println("reach here x true y is false");
			}
		} else {
			if(x + y > 3.2) {
				System.out.println("reach here x false y is true");
			} else {
				System.out.println("reach here x false y is false");
			}
		}
	}
	
	// The test driver
	public static void main(String[] args) {
		MyClassFloat mc = new MyClassFloat();
		mc.myMethod(0.0f, 0.0f);
		Debug.printPC("\nMyClassFloat.myMethod Path Condition: ");
	}
}